Fix flush_tlb_mask to no-op for non-SMP, now needed in grant_table.c

diff --git a/xen/arch/ia64/linux-xen/smp.c b/xen/arch/ia64/linux-xen/smp.c
index 74f932137ef0e5453ba4e09f169f59e80c3c81b1..bc8efb0ce621779e72228c346e22a58bb54877ba 100644 (file)
--- a/xen/arch/ia64/linux-xen/smp.c
+++ b/xen/arch/ia64/linux-xen/smp.c
@@ -56,7 +56,10 @@
 //Huh? This seems to be used on ia64 even if !CONFIG_SMP
 void flush_tlb_mask(cpumask_t mask)
 {
+#ifdef CONFIG_SMP
+    printf("flush_tlb_mask called, not implemented for SMP\n");
        dummy();
+#endif
 }
 //#if CONFIG_SMP || IA64
 #if CONFIG_SMP